检索结果

Select

1. 神经网络空间映射结构的研究与改进

闫淑霞张齐军

计算机应用 2014, 34 (12): 3621-3623.

摘要（155）

PDF （449KB）（741）

针对粗模型与器件的直流特性差异较大而交流特性相似时建模过程复杂的问题,对已有神经网络空间映射(Neuro-SM)结构进行了改进。改进的模型在Neuro-SM结构基础上,增加电容和电感,使映射网络仅调整输入信号中的直流分量,不影响交流分量。在不改变粗模型交流特性的情况下改进直流特性,用少量的优化变量和简单的映射关系即可达到模型匹配的效果。通过仿真实验表明,改进后的Neuro-SM模型充分利用粗模型与器件非线性响应相似的特点,既保持了模型的精度又简化了建模过程。

参考文献 | 相关文章 | 多维度评价

Select

2. 基于Clight形式语义的代码功能描述提取

王涛陈敏翼齐军

计算机应用 2012, 32 (08): 2333-2337. DOI: 10.3724/SP.J.1087.2012.02333

摘要（715）

PDF （767KB）（331）

软件代码的功能提取是功能集成的最基本前提，但软件功能提取普遍存在正确率低的问题。为此，提出基于Clight形式语义的代码功能描述提取机制，并用Clight代码功能描述算法实现。该机制严格基于Clight自然语义推理规则，忽略代码执行的中间细节，只关注执行前后的存储状态，并以此作为代码的功能描述，提高了功能提取的正确率和关键领域软件开发的成功率。

参考文献 | 相关文章 | 多维度评价

Select

3. 工作流集成中基于代数表达式的语义匹配机制

齐军张月菊王涛

计算机应用 2011, 31 (08): 2253-2257. DOI: 10.3724/SP.J.1087.2011.02253

摘要（1064）

PDF （711KB）（848）

针对现阶段工作流集成研究中功能匹配查准率和查全率低的问题，给出了基于软件功能形式化语义的匹配机制的实现。在前、后条件pre/post的完全匹配模式下，以高级程序设计语言中的代数表达式为基础，提出了匹配原则，并给出了具体的算法，并且用实例进行分析说明。该算法适用于工作流集成中的功能匹配，同时基于严格的形式化方法，便于分析和验证。该算法局限于初等代数性的前提。

参考文献 | 相关文章 | 多维度评价